»Konkretno me zelo zanima umetna inteligenca na področju dokazovanja izrekov, kjer se ukvarjam z 'dokazovalnimi pomočniki' in vprašanjem, kako bi nam računalniki pomagali pri odkrivanju novega matematičnega znanja.«
»Prejšnji modeli umetne inteligence v mnogih najnaprednejših testih podjetja odpovedali, ker so imeli težave z razumevanjem zapletene matematike ali logike v dolgih dokumentih.«
»Zmanjšanje tveganja izumrtja zaradi umetne inteligence bi moralo biti prednostna naloga poleg drugih družbenih tveganj, kot so pandemije in jedrska vojna.«
»Odgovorno širjenje umetne inteligence bo pomagalo utreti pot k večji produktivnosti in revolucijam v znanstvenem napredku, čezmerna regulacija pa bi inovacije zadušila in povečala nevarnost, da se bodo ta orodja uporabljala za tiranijo.«
Kliknite povezavo za prikaz izjav v želenem obdobju